.editbox {
  margin: .4em;
  padding: 0;
  font-family: monospace;
  font-size: 10pt;
  color: black;
}

pre.code, .editbox {
  color: #666666;
}

.editbox p {
  margin: 0;
}

span.java-identifier {
  color: black;
}

span.java-comment {
  color: green;
}

span.java-string {
  color: #AA2222;
}

span.java-keyword {
  color: #151B8D;
  font-weight: bold;
}

span.java-annotation {
  color: #CCCCCC;	
}

span.java-punctuation{
  color: #666666;
}